#include <tinx/syscall.h>
#include <tinx/vsprintf.h>

static char buf[1024];

int printf(char *fmt, ...)
{
    va_list args;
    va_start(args, fmt);

    int i = vsprintf(buf, fmt, args);

    va_end(args);

    return write(STDOUT_FILENO, buf, i);
}